#define _CRT_SECURE_NO_WARNINGS 1


//#include <stdio.h>;
//#include <stdlib.h>
//#include <time.h>
//
//void menu()
//{
//	printf("***************************\n");
//	printf("****** 1.play  0.exit *****\n");
//	printf("***************************\n");
//}
//
//void game()
//{
//	int ret = rand()%100+1;
//	int guess = 0;
//	
//	while (1)
//	{
//		printf("请猜数字:>");
//		scanf("%d", &guess);
//
//		if (guess > ret)
//		{
//			printf("猜大了\n");
//		}
//		else if (guess < ret)
//		{
//			printf("猜小了\n");
//		}
//		else
//		{
//			printf("恭喜你，猜对了\n");
//			break;
//		}
//
//	}
//
//}
//
//int main()
//{
//	int input = 0;
//	srand((unsigned int)time(NULL));
//	
//	do
//	{
//		menu();
//
//		printf("请选择:>");
//		scanf("%d", &input);
//
//		switch (input)
//		{
//		case 1:
//			game();
//			break;
//		case 0:
//			printf("退出游戏\n");
//			break;
//		default:
//			printf("选择错误\n");
//		}
//
//	} while (input);
//
//	return 0;
//}

//#include <stdio.h>
//
//int main()
//{
//	long long n = 0;
//	int i = 0;
//	long long sum = 0;
//	scanf("%lld", &n);
//
//	for (i = 1; i <= n; i++)
//	{
//		sum += i;
//	}
//
//	printf("%lld\n", sum);
//
//	return 0;
//}

//#include <stdio.h>
//
//int main()
//{
//	int a = 0;
//	int b = 0;
//	int c = 0;
//	int d = 0;
//	scanf("%d%d%d%d", &a, &b, &c, &d);
//	int max = a;
//
//	if (max < b)
//	{
//		max = b;
//	}
//
//	if (max < c)
//	{
//		max = c;
//	}
//
//	if (max < d)
//	{
//		max = d;
//	}
//
//	printf("%d\n", max);
//
//	return 0;
//}

//#include <stdio.h>
//
//int main()
//{
//	char ch = 0;
//	
//	while (scanf("%c", &ch) != EOF)
//	{
//
//		while (getchar() != '\n')
//		{
//			;
//		}
//
//		if ((ch >= 65 && ch <= 90) || (ch >= 97 && ch <= 122))
//		{
//			printf("%c is an alphabet.\n", ch);
//		}
//		else
//		{
//			printf("%c is not an alphabet.\n", ch);
//		}
//
//	}
//	return 0;
//}

#include <stdio.h>

int main()
{
	float price = 0.0f;
	int month = 0;
	int day = 0;
	int coupon = 0;
	scanf("%f", &price);
	
	while (1)
	{
		scanf("%d%d", &month, &day);
		
		if ((11==month) && (11==day))
		{
			price = price * 0.7;
			break;
		}
		else if ((12 == month) && (12 == day))
		{
			price = price * 0.8;
			break;
		}

	}

	scanf("%d", &coupon);

	if (1 == coupon)
	{
		price -= 50;
	}

	if (price < 0)
	{
		price = 0;
	}

	printf("%.2f\n", price);

	return 0;
}